Non-classical logic

Results: 703



#Item
121Science / Reasoning / Programming paradigms / Constraint programming / Non-classical logic / Stable model semantics / Prolog / Inference / Negation as failure / Logic / Logic programming / Artificial intelligence

Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond

Add to Reading List

Source URL: myweb.ttu.edu

Language: English - Date: 2015-05-24 18:07:19
122Fuzzy logic / Artificial intelligence / Non-classical logic / Logic in computer science / Systems / Complexity / Computational complexity theory / Fuzzy set / Lotfi A. Zadeh / Logic / Science / Mathematical logic

Complexity as a Linguistic Variable

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2013-06-19 13:03:42
123Ethology / Artificial intelligence / Fuzzy logic / Logic in computer science / Robotics / Many-valued logic / Human–robot interaction / Emotion / Vagueness / Logic / Science / Non-classical logic

Emotion-mapped Robotic Facial Expressions based on Philosophical Theories of Vagueness Phil Serchuk1,2 1

Add to Reading List

Source URL: www.bartneck.de

Language: English - Date: 2008-03-08 09:00:41
124Formal languages / Metalogic / Non-classical logic / Logical syntax / Sequent calculus / Sequent / Linear logic / Entailment / Intuitionistic logic / Logic / Mathematical logic / Proof theory

Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 06:33:56
125Philosophical logic / Metalogic / Branches of philosophy / Epistemic modal logic / Non-monotonic logic / Model theory / Epistemology / Logic programming / Entailment / Logic / Non-classical logic / Modal logic

Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2008-08-11 05:22:29
126Model theory / Philosophical logic / Non-classical logic / Interpretation / S5 / Accessibility relation / Logical connective / Propositional calculus / Linear temporal logic / Logic / Mathematical logic / Modal logic

Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1

Add to Reading List

Source URL: johnmacfarlane.net

Language: English - Date: 2011-02-15 14:21:03
127Constraint programming / Problem solving / Non-classical logic / Automated planning and scheduling / Constraint satisfaction problem / Control theory / Planning / Modal logic / Mind / Logic / Science / Philosophical logic

PDF Document

Add to Reading List

Source URL: icaps11.icaps-conference.org

Language: English - Date: 2013-04-15 04:52:48
128Information science / Artificial intelligence / Description logic / Non-classical logic / Logic / Criticism / Science / Knowledge / Academia

Administration 1. Critiques of Readings: • Feedback (Scott). • Given this feedback, if you wish to postpone handing in your critique until Monday, that’s fine. 2. Paper Presentations: I am still waiting to hear fro

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-02-16 16:55:30
129Non-classical logic / Propositional calculus / Knowledge representation / Logical syntax / Default logic / Autoepistemic logic / Circumscription / Non-monotonic logic / Well-formed formula / Logic / Mathematical logic / Logic programming

PDF Document

Add to Reading List

Source URL: zeszyty-naukowe.wwsi.edu.pl

Language: English - Date: 2014-12-22 08:14:41
130Accessibility / We / Knowledge / Science / Modal logic / Non-classical logic / Philosophical logic

PDF Document

Add to Reading List

Source URL: whiteprivilegeconference.com

Language: English - Date: 2014-03-19 18:05:35
UPDATE